English logical framework model: перевод на другие языки